/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package drt;

import java.util.LinkedList;
import java.util.List;

/**
 *
 * @author phong
 */
public class SDRS extends DRS {
    
    
    public SDRS(List<DRSReferent> refs, List<SDRSCondition> conds) {
        super(refs, new LinkedList<DRSCondition>(conds));
    }
    
}
